package Parser;

public class Type {
	Type application(int i, Type t){
		return null;
	}
	
	Type abstraction(Type[] arg_types, Type returnType){
		return null;
	}
}
